منابع مشابه
Clone Detection in Matlab Simulink Models
A growing amount of embedded software is created by automated code generation from models. As each development project requires a given level of software quality, it is essential for successful projects that a projects quality is monitored and assessed continuously during the development life cycle. While quality assessment tools and processes for conventional software engineering are widely av...
متن کاملModel-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models
In this paper we report on work in progress to extend the QuantUM approach to support the quantitative property analysis of Matlab Simulink / Stateflow models. We propose a translation of Simulink / Stateflow models to CTMCs which can be analyzed using the PRISM model checker inside the QuantUM tool. We also illustrate how the information needed to perform probabilistic analysis of dependabilit...
متن کاملImproving Timing Analysis for Matlab Simulink/Stateflow
Control software in embedded hard real-time systems is subject to stringent timing constraints. To compute the required safe upper bounds on its worst-case execution-time (WCET), static timing analysis is used in industry [1]. Today control software is predominantly developed with model-based design tools such as Matlab Simulink/Stateflow. However, current timing tools lose precision as they co...
متن کاملTool Supported Quality Assessment and Improvement in MATLAB Simulink and Stateflow Models
Model-based development and automatic code generation are an established technology in the controller design process. Numerous modeling guidelines are built to improve the quality of the developed model and the generated code with respect to readability, robustness, safety, efficiency, maintainability and other aspects. Some guidelines are necessary to enable code generation. Manually checking ...
متن کاملAutomated analysis of Stateflow models
Stateflow is a widely used modeling framework for embedded and cyberphysical systems where control software interacts with physical processes. In this work, we present a framework and a fully automated safety verification technique for Stateflow models. Our approach is two-folded: (i) we faithfully compile Stateflow models into hierarchical state machines, and (ii) we use automated logic-based ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software Quality Journal
سال: 2015
ISSN: 0963-9314,1573-1367
DOI: 10.1007/s11219-015-9296-0